Thomas Moller Probabilities in Branching Structures

نویسنده

  • THOMAS MOLLER
چکیده

A common, natural view about probabilities, shared by phllosophers of diverse persuasions, is that probabilities are graded possibilities.1 On this view, which I will presuppose, there are no probabilities without underlying possibilities, and there is room for different notions of probability at least to the extent that there are different underlying notions of possibility. In this paper I want to trace out consequences of this view for the specific case of possibilities that are grounded in branching structures. Such structures afford a natural representation of real possibilities: concrete possibilities in indexically specifiable situations, like a concrete laboratory experiment or other indeterministic happenings. I will argue that branching-based probabilities lead to interesting probability structures that can shed light on, e.g., the causal Markov condition. My paper is structured as follows: I start by discussing different types of possibility and zooming in on branching-based real possibilities, giving formal details about the theory of branching time. I then work out a theory of probabilities based on branching time structures and discuss a number of peculiarities and limitations of that approach. Finally I give a brief overview of the way in which the branching time framework is extended in the theory of branching space-times, and what an appropriate probability theory for that framework looks like.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Probabilistic True-Concurrency Models Branching Cells and Distributed Probabilities for Event Structures

This paper is devoted to true-concurrency models for probabilistic systems. By this we mean probabilistic models in which Mazurkiewicz traces, not interleavings, are given a probability. Here we address probabilistic event structures. We consider a new class of event structures, called locally finite. Locally finite event structures exhibit “finite confusion”; in particular, under some mild con...

متن کامل

Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures

This paper is devoted to true-concurrency models for probabilistic systems. By this we mean probabilistic models in which Mazurkiewicz traces, not interleavings, are given a probability. Here we address probabilistic event structures. We consider a new class of event structures, called locally finite. Locally finite event structures exhibit “finite confusion”; in particular, under some mild con...

متن کامل

On the Expressive Power of CTL

We show that the expressive power of the branching time logic CTL coincides with that of the class of bisimulation invariant properties expressible in so-called monadic path logic: monadic second order logic in which set quantification is restricted to paths. In order to prove this result, we first prove a new Composition Theorem for trees. This approach is adapted from the approach of Hafer an...

متن کامل

On the reliability wiener number

One of the generalizations of the Wiener number to weighted graphs is to assign probabilities to edges, meaning that in nonstatic conditions the edge is present only with some probability. The Reliability Wiener number is defined as the sum of reliabilities among pairs of vertices, where the reliability of a pair is the reliability of the most reliable path. Closed expressions are derived for t...

متن کامل

Growth models (including terminal and segmental branching) for topological binary trees.

A growth model for topological trees is formulated as a generalization of the terminal and segmental growth model. For this parameterized growth model, expressions are derived for the partition probabilities (probabilities of subtree pairs of certain degrees). The probabilities of complete trees are easily derived from these partition probabilities. 1. Introduction. In the study of growth of br...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011